The dissertation proposes the stimulus generation algorithm for cell characterization . based on the function analysis of cells and referred to multi - path sensitization algorithm , the algorithm provides logic stimuli for cell characterization 本文實現了單元工藝參數提取的激勵波形生成算法,該算法在分析單元函數功能的基礎上,通過借鑒多維路徑敏化算法,從邏輯上得到參數提取的激勵波形。
It combines boolean algebra expression with time information to describe behavior of a digital circuit . it has made substantive progress at path sensitization , power dissipation estimation , iddt and delay fault diagnosis . theoretically , it is necessary to establish some mathematical foundation in order to define distance , limit and continuity based on boolean process 它將布爾代數與時間結合起來,為異步性描述提供了比較形式的理論基礎,并在通路敏化、電源消耗的計算、動態電流測試方法( i _ ( ddt ) ) 、時延故障診斷等方面取得了實質性的進展。
It is noticed that the definitions of limit and difference of waveforms reflect path sensitization in a circuit . it is interesting to note the consistency between this theory and the reality . to deduce the properties and applications of converse operations or generalized converse operations of waveform operations in waveform space 主要表現在:定義了波形空間;在波形空間中定義了與實際問題相符合的距離,極限,延遲算子;運用布爾運算推導出了波形空間是banach空間;波形的極限和差分的定義反映了電路中的通路敏化;推導出了波形空間中常見波形運算的逆運算或廣義逆運算及其在電路中的性質并在通路敏化方面得到了一些應用。